Resultaten visas 1 - 10 / 412
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Bounded Model Checking for Weak Alternating Buchi Automata

Referentgranskad
Heljanko, Keijo; Junttila, Tommi; Keinänen, Misa; Lange, Martin; Latvala, Timo
SPRINGER2006Publicationer information ikon

On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata

Tauriainen, Heikki
-2003Publicationer information ikon

Alternating, private alternating, and quantum alternating realtime automata

Referentgranskad
Öppen tillgång
DOI
10.23638/LMCS-15(3:22)2019
Demirci G, Hirvensalo M, Reinhardt K, Say ACC, Yakaryilmaz A
Logical Methods in Computer Science2019Publicationer information ikon

Parametrised Modal Interface Automata

Referentgranskad
DOI
10.1145/2776892
Siirtola, Antti; Heljanko, Keijo
ACM transactions on embedded computing systems2015Publicationer information ikon

Embedding Arbitrary Boolean Circuits into Fungal Automata

Referentgranskad
Öppen tillgång
DOI
10.1007/s00453-024-01222-7
Modanese, Augusto; Worsch, Thomas
Algorithmica2024Publicationer information ikon

Alternating minimisation for glottal inverse filtering

Referentgranskad
Öppen tillgång
DOI
10.1088/1361-6420/aa6eb8
Bleyer, Ismael Rodrigo; Lybeck, Lasse; Auvinen, Harri; Airaksinen, Manu; Alku, Paavo; Siltanen, Samu...
Inverse problems2017Publicationer information ikon

Sublinear-Time Probabilistic Cellular Automata

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.STACS.2023.47
Modanese, Augusto
Leibniz International Proceedings in Informatics, LIPIcs2023Publicationer information ikon

Combining Aspect-Orientation and UPPAAL Timed Automata

Referentgranskad
DOI
10.5220/0005105101590164
Dragos Truscan; J Vain; M Koskinen
Proceedings of the 9th International Conference on Software Paradigm Trends2014Publicationer information ikon

Nested Emptiness Search for Generalized Büchi Automata

Referentgranskad
Tauriainen, Heikki
Fundamenta Informaticae2006Publicationer information ikon

Sorting Finite Automata via Partition Refinement

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.ESA.2023.15
Becker, Ruben; Caceres Reyes, Manuel Ariel; Cenzato, Davide; Kim, Sung-Hwan; Kodric, Bojana; Olivare...
Leibniz International Proceedings in Informatics (LIPIcs)2023

Bounded Model Checking for Weak Alternating Buchi Automata

Referentgranskad
2006

On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata

2003

Alternating, private alternating, and quantum alternating realtime automata

Referentgranskad
Öppen tillgång
DOI
10.23638/LMCS-15(3:22)2019
2019

Parametrised Modal Interface Automata

Referentgranskad
DOI
10.1145/2776892
2015

Embedding Arbitrary Boolean Circuits into Fungal Automata

Referentgranskad
Öppen tillgång
DOI
10.1007/s00453-024-01222-7
2024

Alternating minimisation for glottal inverse filtering

Referentgranskad
Öppen tillgång
DOI
10.1088/1361-6420/aa6eb8
2017

Sublinear-Time Probabilistic Cellular Automata

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.STACS.2023.47
2023

Combining Aspect-Orientation and UPPAAL Timed Automata

Referentgranskad
DOI
10.5220/0005105101590164
2014

Nested Emptiness Search for Generalized Büchi Automata

Referentgranskad
2006

Sorting Finite Automata via Partition Refinement

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.ESA.2023.15
2023